package MoC;

import db.CompositeActorInfo;
import db.ClassInfo;
import gui.ProgressDialog;

public interface MoCVerifier {

    public String getName();

    public void analyze(CompositeActorInfo spec, ProgressDialog progress);

    public void analyze(ClassInfo cinfo, ProgressDialog progress);

    public ResultMessages getResult();
}
